6

Analysis of fast and secure protocol based on continuous-time Markov chain

Year:
2013
Language:
english
File:
PDF, 2.19 MB
english, 2013
25

Model checking workflow net based on Petri net

Year:
2006
Language:
english
File:
PDF, 430 KB
english, 2006
26

Abstraction for model checking multi-agent systems

Year:
2011
Language:
english
File:
PDF, 240 KB
english, 2011